-
1 верификация кода
верификация кода
Проверка соответствия кода [программы] для ЭВМ установленным техническим требованиям.
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация кода
-
2 верификация (проверка)
верификация (проверка)
1. Процесс определения соответствия качества или характеристик продукта или услуги тому, что предписывается, предопределяется или требуется. Верификация тесно связана с обеспечением качества и контролем качества. верификация компьютерной системы computer system verification Процесс, имеющий целью обеспечить, чтобы данный этап в жизненном цикле системы удовлетворял требованиям, введенным на предыдущем этапе. верификация модели model verification Процесс, имеющий целью определить, правильно ли отображает данная вычислительная модель искомую концептуальную модель или математическую модель. Верификация системного кода system code verification Анализ кодирования источника на предмет его соответствия описанию в документации системного кода. 2. Подтверждение на основе объективных свидетельств того, что установленные требования были выполнены. См. валидация (аттестация). Соответствующий статус – ‘верифицировано’. Верификация может включать такие операции, как: осуществление альтернативных расчетов; сравнение научной и технической документации по новому проекту с аналогичной документацией по апробированному проекту; проведение испытаний и демонстраций; и анализ документов до их выпуска.
[Глоссарий МАГАТЭ по вопросам безопасности]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация (проверка)
-
3 верификация (штрихового кода)
верификация (штрихового кода)
Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу.
[ ГОСТ 30721-2000]
[ ГОСТ Р 51294.3-99]Тематики
EN
DE
FR
Русско-немецкий словарь нормативно-технической терминологии > верификация (штрихового кода)
-
4 верификация (штрихового кода)
верификация (штрихового кода)
Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу.
[ ГОСТ 30721-2000]
[ ГОСТ Р 51294.3-99]Тематики
EN
DE
FR
Русско-английский словарь нормативно-технической терминологии > верификация (штрихового кода)
-
5 верификация (штрихового кода)
верификация (штрихового кода)
Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу.
[ ГОСТ 30721-2000]
[ ГОСТ Р 51294.3-99]Тематики
EN
DE
FR
Русско-французский словарь нормативно-технической терминологии > верификация (штрихового кода)
-
6 верификация программного кода
Chemical weapons: computer code verificationУниверсальный русско-английский словарь > верификация программного кода
См. также в других словарях:
верификация кода — Проверка соответствия кода [программы] для ЭВМ установленным техническим требованиям. [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN code audit … Справочник технического переводчика
верификация (проверка) — 1. Процесс определения соответствия качества или характеристик продукта или услуги тому, что предписывается, предопределяется или требуется. Верификация тесно связана с обеспечением качества и контролем качества. верификация компьютерной системы… … Справочник технического переводчика
верификация (штрихового кода) — Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу. [ГОСТ 30721 2000] [ГОСТ Р 51294.3 99] Тематики кодирование штриховое EN verification DE… … Справочник технического переводчика
верификация (штрихового кода) — Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу Источник: ГОСТ 30721 2000: Автоматическая идентификация. Кодирование штриховое. Термины и о … Словарь-справочник терминов нормативно-технической документации
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
Статический анализ кода — (англ. static code analysis) анализ программного обеспечения, производимый без реального выполнения исследуемых программ (анализ, производимый с выполнением программ, называется динамический анализ кода). В большинстве случаев анализ… … Википедия
ГОСТ 30721-2000: Автоматическая идентификация. Кодирование штриховое. Термины и определения — Терминология ГОСТ 30721 2000: Автоматическая идентификация. Кодирование штриховое. Термины и определения оригинал документа: (n, k) символика : Класс символик штрихового кода, в которых ширина каждого знака символа представлена в n модулях, а сам … Словарь-справочник терминов нормативно-технической документации
Валидация — (Validation) Содержание Содержание 1. ISO 2. Чем отличается валидация от верификации? 3. Валидация документов 4. Валидация XML и XHTML 5. GMP валидация 6. Что такое валидация ИПДО? Валидация – это придание законной силы, утверждение,… … Энциклопедия инвестора
ГОСТ Р ИСО/МЭК 19762-2-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) — Терминология ГОСТ Р ИСО/МЭК 19762 2 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) оригинал документа: 04.02.13 ( n, k)… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р ИСО/МЭК 19762-1-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД — Терминология ГОСТ Р ИСО/МЭК 19762 1 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД оригинал документа: Accredited Standards… … Словарь-справочник терминов нормативно-технической документации
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия